<?php       
error_reporting(E_ALL ^ E_NOTICE);
ini_set('memory_limit', '1000M'); 
set_time_limit(0);
while (($line_json = fgets(STDIN)) !== false) {
    $line_json = trim($line_json);
    if(empty($line_json))
        continue;
    list($sufix, $line_json) = explode("\t", $line_json);
    $house_info = json_decode($line_json, true);
    $key = $house_info['borough_id'].":".$house_info['house_floor'].":".$house_info['house_topfloor'].":".$house_info['house_room'].":".$house_info['owner_phone'];
    echo $key."\t".$line_json."\n";
}
